Snap-Stabilizing Detection of Cutsets
نویسندگان
چکیده
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we present a snap-stabilizing protocol which detects if a set of processors is a cutset of an arbitrary rooted network. This protocol is based on the depth-first search ( ) traversal and its properties. An interesting property of our protocol is that, despite the initial configuration, as soon as the protocol is initiated (by the root), the result obtained from the computations will be right. So, after the first execution, the root is able to take a decision: “the input set is a cutset or not”, and this decision is right. keywords: Distributed systems, fault-tolerance, self-stabilization, snap-stabilization, cutset, separator.
منابع مشابه
Enabling Snap-Stabilization
A snap-stabilizing protocol guarantees that the system always behaves according to its specification provided some processor initiated the protocol. We present how to snap-stabilize some important protocols, like Leader Election, Reset, Snapshot, and Termination Detection. We use a Snap-stabilizing Propagation of Information with Feedback protocol for arbitrary networks as the key module in the...
متن کاملThe expressive power of snap-stabilization
A snap-stabilizing algorithm, regardless of the initial configuration of the system, guarantees that it always behaves according to its specification. We consider here the locally shared memory model. In this model, we propose the first snap-stabilizing Propagation of Information with Feedback (PIF) algorithm for rooted networks of arbitrary connected topology which is proven assuming the distr...
متن کاملکلونینگ، بیان و تخلیص پروتئین SNAP-25
Background & Objectives:Clostridial neurotoxin inhibits neurotransmitter release by selective and specific intracellular proteolysis of synaptosomal associated protein of 25KDa (SNAP-25), synaptobrevin/VAMP-2 and syntaxin. SNAP-25 is one of the components that forms docking complex in synaptic ends. This protein is subtrate for botulinum neurotoxins types A,C, and E. Each of these toxin serotyp...
متن کاملSnap-Stabilizing PIF Algorithm in Tree Networks Without Sense Of Direction
A snap-stabilizing protocol, starting from any arbitrary initial system configuration, always behaves according to its specification. In other words, a snap-stabilizing protocol is a self-stabilizing protocol which stabilizes in 0 steps. In this paper, we propose a snap-stabilizing PIF algorithm for tree networks without any sense of direction. This algorithm allows us to maintain only one (ins...
متن کاملFrom Self- to Snap- Stabilization
A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In this paper, we propose a light semi-automatic method allowing to snap-stabilize selfstabilizing wave protocols for arbitrary networks with a unique initiator. To that goal, we consider such a self-stabilizing protocol . We then slightly update to obtain a protocol th...
متن کامل